A computational definition of the notion of vectorial space
نویسندگان
چکیده
We usually define an algebra by a set, some operations defined on this set and some propositions that the algebra must validate. In some cases, we can replace these propositions by an algorithm on terms constructed upon these operations that the algebra must validate. We show in this note that this is the case for the notion of vectorial space and bilinear function.
منابع مشابه
Some properties of continuous linear operators in topological vector PN-spaces
The notion of a probabilistic metric space corresponds to thesituations when we do not know exactly the distance. Probabilistic Metric space was introduced by Karl Menger. Alsina, Schweizer and Sklar gave a general definition of probabilistic normed space based on the definition of Menger [1]. In this note we study the PN spaces which are topological vector spaces and the open mapping an...
متن کاملFirst non-abelian cohomology of topological groups II
In this paper we introduce a new definition of the first non-abelian cohomology of topological groups. We relate the cohomology of a normal subgroup $N$ of a topological group $G$ and the quotient $G/N$ to the cohomology of $G$. We get the inflation-restriction exact sequence. Also, we obtain a seven-term exact cohomology sequence up to dimension 2. We give an interpretation of the first non-a...
متن کاملتوسعه مدل شبکه -دانه مجزای بتن برای سنگدانه‌های غیردایروی
In this paper, Lattice-Discrete Particle Model (LDPM) of concrete has been extended in 2-D to account for the effect of non-circular aggregates. To this end, the flexible equation of super-ellipse is employed for generating aggregates in order to add the simulation possibility of a greater spectrum of aggregate samples in 2-D to lattice-Discrete particle Model. Alongside this extention, require...
متن کاملDefinition of General Operator Space and The s-gap Metric for Measuring Robust Stability of Control Systems with Nonlinear Dynamics
In the recent decades, metrics have been introduced as mathematical tools to determine the robust stability of the closed loop control systems. However, the metrics drawback is their limited applications in the closed loop control systems with nonlinear dynamics. As a solution in the literature, applying the metric theories to the linearized models is suggested. In this paper, we show that usin...
متن کاملA Note on Quadratic Maps for Hilbert Space Operators
In this paper, we introduce the notion of sesquilinear map on Β(H) . Based on this notion, we define the quadratic map, which is the generalization of positive linear map. With the help of this concept, we prove several well-known equality and inequality...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 117 شماره
صفحات -
تاریخ انتشار 2005